Information technologies for solving urban construction problems

Solving Deepwater Well-Construction Problems

O38: Citizens Participation and Empowerment in Solving the Urban Problems

لطفاً به چکیده انگلیسی مراجعه شود.

Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems

Over the last sixty years, a number of methods for automated theorem proving in geometry, especially Euclidean geometry, have been developed. Almost all of them focus on universally quantified theorems. On the other hand, there are only few studies about logical approaches to geometric constructions. Consequently, automated proving of ∀∃ theorems, that correspond to geometric construction probl...

An efficient approach for solving layout problems

This paper offers an approach that could be useful for diverse types of layout problems or even area allocation problems. By this approach there is no need to large number of discrete variables and only by few continues variables large-scale layout problems could be solved in polynomial time. This is resulted from dividing area into discrete and continuous dimensions. Also defining decision var...

Spatial Technologies, Accessibility, and the Social Construction of Urban Space

Accessibility is both an important concept, and a powerful indicator, in the understanding of the impact of spatial technologies, i.e. transportation, communication, and information technologies. However, virtually all existing measures of intra-metropolitan accessibility incorporate only transportation without considering other means of spatial interaction. In this paper, the author argues tha...